Complete Heyting algebra - PDFSEARCH.IO - Document Search Engine

Complete Heyting algebra
Results: 33

#	Item
21	Logic and Lattices for Distributed Programming Neil Conway William R. Marczak Peter Alvaro Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-10-15 03:54:42 Lattice theory Algebra Order theory Lattice Monotonic function Boolean algebra Semilattice Complete Heyting algebra Complete lattice Abstract algebra Mathematics Algebraic structures
22	An Approximation Algorithm for the Least Overlapping p-Frame Problem with Non-Partial Coverage for Networked Robotic Cameras Yiliang Xu, Dezhen Song, Jingang Yi, and A. Frank van der Stappen Abstract— We report our alg Add to Reading List Source URL: faculty.cs.tamu.edu Language: English - Date: 2008-02-08 17:08:39 Analytic geometry Lattice Approximation algorithm XTR Complete Heyting algebra Ideal lattice cryptography Abstract algebra Mathematics Algebra
23	Pointfree funcoids as a generalization of frames by Victor Porton Email: [removed] Web: http://www.mathematics21.org August 29, 2013 Abstract Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2013-11-08 07:27:31 Structure Topology General topology Category theory Filter Boolean algebra Lattice Complete Heyting algebra Pointless topology Order theory Mathematics Algebraic structures
24	SERRE’S MODULARITY CONJECTURE (II) CHANDRASHEKHAR KHARE AND JEAN-PIERRE WINTENBERGER to Jean-Pierre Serre Abstract. We provide proofs of Theorems 4.1 and 5.1 of [32]. Add to Reading List Source URL: www-irma.u-strasbg.fr Language: English - Date: 2008-10-20 11:46:04 Category theory Algebraic structures Ring theory Morphisms Algebraic topology Functor Homomorphism Complete Heyting algebra Representation theory Abstract algebra Algebra Mathematics
25	Logical Aspects of Set Constraints Dexter Kozen Computer Science Department Cornell University Ithaca, New York 14853, USA [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-05-29 09:46:24 Boolean algebra Algebraic structures Order theory Algebraic logic Field of sets Ideal Complete Heyting algebra Heyting algebra Interior algebra Mathematics Abstract algebra Mathematical logic
26	Technical Report KDBSLAB-TR[removed]Spatial Relations, Minimum Bounding Rectangles, Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 1999-06-04 10:36:43 Spatial database Complete Heyting algebra R-tree Minimum bounding rectangle Spatial–temporal reasoning Geometry Mathematics Structure
27	Programming from Galois Connections — Principles and Applications (Extended version of reference [16]) Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2011-03-16 00:37:11 Order theory Galois connection Complete Heyting algebra Function Presentation of a group Sheaf Allegory Adjoint functors Residuated mapping Mathematics Abstract algebra Algebra
28	On Kleene Algebras and Closed Semirings Dexter Kozeny Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-05-29 09:45:43 Algebra Semiring Kleene algebra Complete Boolean algebra Boolean algebra Von Neumann algebra Functor Sigma-algebra Complete Heyting algebra Mathematics Abstract algebra Algebraic structures
29	A brief introduction to algebraic set theory∗ Steve Awodey Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-10-13 15:36:04 Algebraic structures Boolean algebra Category theory Forcing Heyting algebra Functor Complete Boolean algebra Adjoint functors Topos Mathematics Abstract algebra Algebra
30	Unifying Structured Recursion Schemes Ralf Hinze Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-07-24 16:11:42 Adjoint functors Order theory Equivalence of categories Monad Functor Limit Natural transformation C*-algebra Complete Heyting algebra Abstract algebra Mathematics Category theory